reflexive relations in mathematics